Lovasz Theta Problem sdp sdplr SDPLR This is the Lovasz theta problem for graph G11, taken from SDPLR's collection.